Reiner Schmitt: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The liberalized δ-rule in free variable semantic tableaux

Reiner Hähnle, Peter H. Schmitt

Journal:

Journal of Automated Reasoning

Year:

1994

Language:

english

File:

PDF, 646 KB

english, 1994

2

Soil remediation with a microbial community established on a carrier: Strong hints for microbial communication during 1,2,4-Trichlorobenzene degradation

Wang, Fang, Fekete, Agnes, Harir, Mourad, Chen, Xiao, Dörfler, Ulrike, Rothballer, Michael, Jiang, Xin, Schmitt-Kopplin, Philippe, Schroll, Reiner

Journal:

Year:

2013

Language:

english

File:

PDF, 584 KB

english, 2013

3

Extraction of methane from seawater using ultrasonic vacuum degassing

Schmitt, Manfred., Faber, Eckhard., Botz, Reiner., Stoffers, Peter.

Journal:

Analytical Chemistry

Year:

1991

Language:

english

File:

PDF, 921 KB

english, 1991

4

Survival Trends After Surgery for Spinal Metastatic Tumors: 20-Year Cancer Center Experience

Rothrock, Robert J, Barzilai, Ori, Reiner, Anne S, Lis, Eric, Schmitt, Adam M, Higginson, Daniel S, Yamada, Yoshiya, Bilsky, Mark H, Laufer, Ilya

Journal:

Year:

2020

File:

PDF, 1.66 MB

2020

5

Synthesis and properties of para-linked aromatic polycondensates containing 3,3′,4,4′-biphenyltetracarboxylic-N,N′-bis(4-amino-biphenyl) diimide units

Gerold Schmitt, Petra Eiselt, Reiner Giesa, Hans-Werner Schmidt

Journal:

Macromolecular Chemistry and Physics

Year:

1999

Language:

english

File:

PDF, 120 KB

english, 1999

6

Synthesis, Redox Properties, and EPR Spectroscopy of Manganese(III) Complexes of the Ligand N,N-Bis(2-hydroxybenzyl)-N′-2-hydroxybenzylidene-1,2-diaminoethane: Formation of Mononuclear, Dinuclear, and Even Higher Nuclearity Complexes

Heimo Schmitt, Reiner Lomoth, Ann Magnuson, Jonathan Park, Jacob Fryxelius, Mikael Kritikos, Jerker Mårtensson, Leif Hammarström, Licheng Sun, Björn Åkermark

Journal:

Chemistry - A European Journal

Year:

2002

Language:

english

File:

PDF, 232 KB

english, 2002

7

Neuartige Thionylimid-Derivate

Otto J. Scherer, Reiner Schmitt

Journal:

European Journal of Inorganic Chemistry

Year:

1968

Language:

german

File:

PDF, 580 KB

german, 1968

8

Cholesteric Networks Based on Lyotropic Mixtures

Gerold Schmitt, Reiner Giesa, Hans-Werner Schmidt

Journal:

Year:

2003

Language:

english

File:

PDF, 103 KB

english, 2003

9

Über eine amid-imid-tautomerie bei schwefel-stickstoff-verbindungen

Otto J. Scherer, Reiner Schmitt

Journal:

Tetrahedron Letters

Year:

1968

Language:

german

File:

PDF, 91 KB

german, 1968

10

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Journal:

Software & Systems Modeling

Year:

2005

Language:

english

File:

PDF, 2.04 MB

english, 2005

11

Intrastriatal botulinum toxin abolishes pathologic rotational behaviour and induces axonal varicosities in the 6-OHDA rat model of Parkinson's disease

Andreas Wree, Eilhard Mix, Alexander Hawlitschka, Veronica Antipova, Martin Witt, Oliver Schmitt, Reiner Benecke

Journal:

Neurobiology of Disease

Year:

2011

Language:

english

File:

PDF, 1.17 MB

english, 2011

12

Hydrothermal gases offshore Milos Island, Greece

Reiner Botz, Doris Stüben, Gisela Winckler, Reinhold Bayer, Manfred Schmitt, Eckhard Faber

Journal:

Chemical Geology

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

13

Posterior reversible encephalopathy syndrome (PRES): An unusual primary manifestation of a diffuse large B-cell lymphoma

Robert Patejdl, Kersten Borchert, Heike Pagumbke, Reiner Benecke, Annette Grossmann, Friedrich Prall, Christoph Kahl, Mathias Freund, Michael Schmitt, Uwe Walter

Journal:

Clinical Neurology and Neurosurgery

Year:

2011

Language:

english

File:

PDF, 648 KB

english, 2011

14

Carbon isotope fractionation during bacterial methanogenesis by CO2 reduction

Reiner Botz, Horst-Dieter Pokojski, Manfred Schmitt, Michael Thomm

Journal:

Organic Geochemistry

Year:

1996

Language:

english

File:

PDF, 745 KB

english, 1996

15

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || First-Order Logic

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 656 KB

english, 2006

16

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || A New Look at Formal Methods for Software Construction

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 344 KB

english, 2006

17

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Construction of Proofs

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 824 KB

english, 2006

18

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Pattern-Driven Formal Specification

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 500 KB

english, 2006

19

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || The Demoney Case Study

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 428 KB

english, 2006

20

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Proof Reuse

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 439 KB

english, 2006

21

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Natural Language Specifications

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 728 KB

english, 2006

22

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || The KeY Syntax

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 285 KB

english, 2006

23

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Proving by Induction

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 450 KB

english, 2006

24

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || The Schorr-Waite-Algorithm

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 478 KB

english, 2006

25

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || From Sequential Java to Java Card

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 460 KB

english, 2006

26

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Java Integers

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 611 KB

english, 2006

27

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Predefined Operators in Java Card DL

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 278 KB

english, 2006

28

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Using KeY

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 711 KB

english, 2006

29

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Proof Obligations

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 624 KB

english, 2006

30

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || Dynamic Logic

Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H.

Year:

2006

Language:

english

File:

PDF, 1.10 MB

english, 2006

31

Biozönotisches Testverfahren (PICT-Konzept)

Mechthild Schmitt-Jansen, Svea Reiners, Rolf Altenburger

Journal:

Environmental Sciences Europe

Year:

2004

File:

PDF, 989 KB

2004

32

Behavioral and structural effects of unilateral intrastriatal injections of botulinum neurotoxin a in the rat model of Parkinson's disease

Antipova, Veronica, Hawlitschka, Alexander, Mix, Eilhard, Schmitt, Oliver, Dräger, Désirée, Benecke, Reiner, Wree, Andreas

Journal:

Journal of Neuroscience Research

Year:

2013

Language:

english

File:

PDF, 462 KB

english, 2013

33

Editorial Board

Ellert, Christoph, Schmidt, Martin, Schmitt, Christina, Reiners, Thomas, Haberland, Hellmut

Journal:

Journal of Magnetism and Magnetic Materials

Year:

1979

Language:

english

File:

PDF, 58 KB

english, 1979

34

Temperature Dependence of the Optical Response of Small, Open Shell Sodium Clusters

Ellert, Christoph, Schmidt, Martin, Schmitt, Christina, Reiners, Thomas, Haberland, Hellmut

Journal:

Physical Review Letters

Year:

1995

Language:

english

File:

PDF, 213 KB

english, 1995

35

Extrakorporale hydrostatische Hochdruckbehandlung als neues Verfahren zur Desinfektion infizierter Knochenpräparate / Extracorporeal high hydrostatic pressure as a new technology for the disinfection of infected bone specimens

Weber, Patrick, Diehl, Peter, Hofmann, Gunther O., Miethke, Thomas, Schmitt-Sody, Marcus, Mittelmeier, Wolfram, Gradinger, Reiner, Gollwitzer, Hans

Journal:

Biomedical Engineering/ Biomedizinische Technik

Year:

2008

File:

PDF, 371 KB

2008

36

Avascular necrosis following fracture-dislocation of the hip and spontaneous relocation

Liska, Franz, Von Eisenhart-Rothe, Rüdiger, Waldt, Simone, Toepfer, Andreas, Schmitt-Sody, Marcus, Gradinger, Reiner, Kirchhoff, Chlodwig

Journal:

Hip International

Year:

2011

Language:

english

File:

PDF, 127 KB

english, 2011

37

New liquid crystalline di- and tetra-acrylates for network formation

Schmitt, Gerold, Schmidt, Hans-Werner, Giesa, Reiner

Journal:

Liquid Crystals

Year:

2001

Language:

english

File:

PDF, 433 KB

english, 2001

38

Effect of high hydrostatic pressure on biological properties of extracellular bone matrix proteins

Diehl, Peter, Schmitt, Manfred, Schauwecker, Johannes, Eichelberg, Kay, Gollwitzer, Hans, Gradinger, Reiner, Goebel, Michael, Preissner, Klaus, Mittelmeier, Wolfram, Magdolen, Ursula

Journal:

International Journal of Molecular Medicine

Year:

2005

Language:

english

File:

PDF, 1.44 MB

english, 2005

39

[IEEE 2016 International Conference on Microelectronic Test Structures (ICMTS) - Yokohama, Japan (2016.3.28-2016.3.31)] 2016 International Conference on Microelectronic Test Structures (ICMTS) - Test structures for CMOS RF reliability assessment

Heiss, Leonhard, Lachmann, Andreas, Schwab, Reiner, Panagopoulos, Georgos, Baumgartner, Peter, Virupakshappaa, Mamatha Yakkegondi, Schmitt-Landsiedel, Doris

Year:

2016

Language:

english

File:

PDF, 6.91 MB

english, 2016

40

Intracerebrally Applied Botulinum Neurotoxin in Experimental Neuroscience

Hawlitschka, Alexander, Antipova, Veronica, Schmitt, Oliver, Witt, Martin, Benecke, Reiner, Mix, Eilhard, Wree, Andreas

Journal:

Current Pharmaceutical Biotechnology

Year:

2013

Language:

english

File:

PDF, 252 KB

english, 2013

41

SPIE Proceedings [SPIE Electronic Imaging - San Jose, CA (Saturday 22 January 2000)] Color Imaging: Device-Independent Color, Color Hardcopy, and Graphic Arts V - Multispectral image capture using a tunable filter

Hardeberg, Jon Y., Schmitt, Francis J. M., Brettel, Hans, Eschbach, Reiner, Marcu, Gabriel G.

Year:

1999

Language:

english

File:

PDF, 1.29 MB

english, 1999

42

SPIE Proceedings [SPIE IS&T/SPIE Electronic Imaging - San Jose, CA (Sunday 18 January 2009)] Color Imaging XIV: Displaying, Processing, Hardcopy, and Applications - Compensation of printer MTFs

Bonnier, Nicolas, Eschbach, Reiner, Marcu, Gabriel G., Lindner, Albrecht J., Leynadier, Christophe, Tominaga, Shoji, Schmitt, Francis, Rizzi, Alessandro

Year:

2009

Language:

english

File:

PDF, 993 KB

english, 2009

43

Notizen: Thionylacetamid

Scherer, Otto J., Schmitt, Reiner

Journal:

Zeitschrift für Naturforschung B

Year:

1967

Language:

german

File:

PDF, 954 KB

german, 1967

44

[IEEE 2016 IEEE International Reliability Physics Symposium (IRPS) - Pasadena, CA, USA (2016.4.17-2016.4.21)] 2016 IEEE International Reliability Physics Symposium (IRPS) - New methodology for on-chip RF reliability assessment

Heis, Leonhard, Lachmann, Andreas, Schwab, Reiner, Panagopoulos, Georgios, Baumgartner, Peter, Virupakshappaa, Mamatha Yakkegondi, Schmitt-Landsiedel, Doris

Year:

2016

Language:

english

File:

PDF, 386 KB

english, 2016

45

[Lecture Notes in Computer Science] Deductive Software Verification – The KeY Book Volume 10001 ||

Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard, Hähnle, Reiner, Schmitt, Peter H., Ulbrich, Mattias

Year:

2016

Language:

english

File:

PDF, 8.26 MB

english, 2016

46

Stoichiometry and structure of a lantibiotic maturation complex

Reiners, Jens, Abts, André, Clemens, Rebecca, Smits, Sander H. J., Schmitt, Lutz

Journal:

Scientific Reports

Year:

2017

Language:

english

File:

PDF, 1.94 MB

english, 2017

47

N -acyl-homoserine lactone dynamics during biofilm formation of a 1,2,4-trichlorobenzene mineralizing community on clay

Sheng, Hongjie, Harir, Mourad, Boughner, Lisa A., Jiang, Xin, Schmitt-Kopplin, Philippe, Schroll, Reiner, Wang, Fang

Journal:

Science of The Total Environment

Year:

2017

Language:

english

File:

PDF, 868 KB

english, 2017

48

Rotation and differential rotation in field F- and G-type stars

Reiners, A., Schmitt, J. H. M. M.

Journal:

Astronomy and Astrophysics

Year:

2003

Language:

english

File:

PDF, 1.03 MB

english, 2003

49

Multiwavelength observations of a giant flare on CN Leonis

Fuhrmeister, B., Liefke, C., Schmitt, J. H. M. M., Reiners, A.

Journal:

Astronomy and Astrophysics

Year:

2008

Language:

english

File:

PDF, 1.62 MB

english, 2008

50

Strong latitudinal shear in the shallow convection zone of a rapidly rotating A-star

Reiners, A., Hünsch, M., Hempel, M., Schmitt, J. H. M. M.

Journal:

Astronomy and Astrophysics

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005